programming chương trình hoá, kế hoạch hoá, quy hoạch automatic p. chương trình...
language ['læɳgwidʤ] danh từ tiếng, ngôn ngữ foreign languages tiếng...
theory ['θiəri] danh từ thuyết, học thuyết Darwin's theory of evolution...
programming language Từ điển kỹ thuật ngôn ngữ lập trình Giải thích VN: Một ngôn ngữ nhân...
Câu ví dụ
Here is the programming language theory answer: Đây là câu trả lời về lý thuyết ngôn ngữ lập trình:
Some other key events in the history of programming language theory since then: Một số sự kiện chủ chốt trong lịch sử của lý thuyết ngôn ngữ lập trình kể từ lúc đó:
In some ways, the history of programming language theory predates even the development of programming languages themselves. Trong một số cách, lịch sử lý thuyết ngôn ngữ lập trình có trước cả sự phát triển của chính các ngôn ngữ lập trình.
Lambda the Ultimate, a community weblog for professional discussion and repository of documents on programming language theory. Lambda the Ultimate, một weblog cộng đồng dành cho thảo luận chuyên nghiệp và kho lưu trữ tài liệu về lý thuyết ngôn ngữ lập trình.
Category theory has practical applications in programming language theory, for example the usage of monads in functional programming. Lý thuyết phạm trù có các ứng dụng thực tế trong lý thuyết ngôn ngữ lập trình, ví dụ việc sử dụng các đơn nguyên trong lập trình chức năng.
There are several fields of study which either lie within programming language theory, or which have a profound influence on it; many of these have considerable overlap. Có nhiều lĩnh-vực nghiên-cứu hoặc nằm trong lí-thuyết ngôn-ngữ lập-trình, hoặc có ảnh-hưởng sâu-sắc lên nó; nhiều lĩnh-vực trong số này có sự-chồng-chéo đáng-kể.
There are several fields of study which either lie within programming language theory, or which have a profound influence on it; many of these have considerable overlap. Có nhiều lĩnh vực nghiên cứu hoặc nằm trong lý thuyết ngôn ngữ lập trình, hoặc có ảnh hưởng sâu sắc lên nó; nhiều lĩnh vực trong số này có sự chồng chéo đáng kể.
It is based on well-understood ideas from programming language theory, for example, pure functional programming, which will enable verification technique to ensure correctness of scripts. Nó dựa trên những quan niệm dễ hiểu từ lý thuyết ngôn ngữ lập trình, ví dụ, lập trình chức năng thuần túy, sẽ cho phép kỹ thuật xác minh đảm bảo tính chính xác của các tập lệnh.
It is based on well-understood ideas from programming language theory, for example, pure functional programming, which will enable verification technique to ensure correctness of scripts. Nó dựa trên những ý tưởng được hiểu rõ từ lý thuyết ngôn ngữ lập trình, ví dụ, lập trình chức năng thuần túy, sẽ cho phép kỹ thuật xác minh đảm bảo tính chính xác của các tập lệnh.
Programming language theory considers approaches to the description of computational processes, while computer programming itself involves the use of programming languages and complex systems Lý thuyết ngôn ngữ lập trình xem xét các cách tiếp cận để mô tả các quy trình tính toán, trong khi bản thân lập trình máy tính liên quan đến việc sử dụng ngôn ngữ lập trình và các hệ thống phức tạp.